Interroger l’innovation dans les Alpes à l’échelle locale

Décomposition arborescente et cohérence locale souple dans les CSP pondérés

Plusieurs approches récentes pour résoudre les modèles graphiques (réseaux Bayésiens avec contraintes) exploitent simultanément une décomposition du graphe et le maintien d’une propriété de cohérence locale. La décomposition de graphe exploite la structure du problème, offrant des bornes sur la complexité spatiale et temporelle, tandis que la propagation des contraintes dures conduit en pratiqu...

Exceptions dans les langages à objets

Exceptions in programming languages result from the limitations introduced by arealisation compared to the model it implements. Usual control structures are not adequate tohandle these special cases and specific exception handling mechanisms have beendesigned which separate the handling of exceptions from the main algorithm.We study the characteristics such a mechanism must ...

Organisation et routage sémantiques dans les systèmes pair-à-pair

Peer-to-peer systems (P2P) are becoming a leading technology for multimedia resource access on the Internet. These systems can be classified depending on their underlying search model, which can be unstructured (queries are flooding in the peer’s network) or structured (queries are propagated according to a logical structure defined on peers). The unstructured model is less efficient but favour...

La mesure de performance dans les cartes à puce

Raffinement de classes dans les langages à objets statiquement typés

RÉSUMÉ. Les classes et la spécialisation apportent simultanément structuration et souplesse aux programmes objets. Ces deux qualités sont, malgré tout, souvent considérées comme insuffisantes, comme en témoignent les nombreuses propositions d’extension du modèle (aspects, modules, etc.). Cet article propose deux notions couplées de raffinement de classes et de modules, la première apportant la ...